Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
731	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
732	Varieties Generated by Certain Models of Reversible Finite Automata Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 15:22:32 Mathematics Semigroup theory Algebra Models of computation Category theory Semiautomaton Monoid Free monoid Regular language Abstract algebra Automata theory Formal languages
733	Validating LR(1) Parsers Jacques-Henri Jourdan1,2 , Fran¸cois Pottier2 , and Xavier Leroy2 1 2 ´ Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-01-06 07:45:45 Syntax Linguistics Compiler construction Combinatorics on words LR parser Lookahead Compiler-compiler SLR grammar String Formal languages Combinatorics Parsing
734	Parse Tools Copyright © Ericsson AB. All Rights Reserved. Parse ToolsMarch 31, 2015 Copyright © Ericsson AB. All Rights Reserved. Add to Reading List Source URL: www.erlang.org Language: English Parsing Compiler construction Parser generators Compiling tools Formal languages LALR parser Lexical analysis LR parser Lookahead Programming language implementation Computing Software engineering
735	Transformation Rules for Z Mark Utting∗ Petra Malik† Ian Toyn Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:23 Oxford University Computing Laboratory Z notation First-order logic Regular expression Unification Rule of inference Logic Mathematical logic Formal languages
736	The Past-Tense Verb in the Noldorin of the Etymologies A Formal Classification by Carl F. Hostetter Introduction Add to Reading List Source URL: www.elvish.org Language: English - Date: 2010-11-05 12:18:39 Germanic languages Linguistic morphology Indo-European linguistics Ancient Greek language Greek grammar Quenya Sindarin Nasal infix Aorist Linguistics Historical linguistics Grammar
737	Chapter 1. Quick Introduction to Syntax Analysis Paul Klint:48:15 +0200 (Sun, 21 OctTable of Contents Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-12-04 10:03:46 Compiler construction Parser generators Formal languages Compiling tools Parsing Scannerless parsing Syntax Definition Formalism Top-down parsing Bottom-up parsing Software engineering Programming language implementation Computing
738	JQueryCheatSheetxls Add to Reading List Source URL: javascripttoolbox.com Language: English - Date: 2009-05-07 16:32:47 Formal languages Parsing Map Attribute grammar Expr JSONP Find Filter HTML element Computing Software engineering Higher-order functions
739	The syntax∗ package Mark Wooding 17 May 1996 Contents 3.7.1 Add to Reading List Source URL: texdoc.net Language: English - Date: 2009-05-30 17:46:39 Software TeX Syntax diagram Programming language Backus–Naur Form Formal languages Computing Application software
740	CS109A Notes for LectureSubstrings In ML notation, x is a substring of y if y = u^x^v for some strings u and v. Similar notion for lists, i.e., y = u@x@v. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:15 Combinatorics Formal languages Longest common subsequence problem String Substring Subsequence Diff Shortest common supersequence Longest common substring problem Mathematics Dynamic programming Theoretical computer science

UPDATE